On the Complexity of Some Maltsev Conditions
نویسندگان
چکیده
This paper studies the complexity of determining if a finite algebra generates a variety that satisfies various Maltsev conditions, such as congruence distributivity or modularity. For idempotent algebras we show that there are polynomial time algorithms to test for these conditions but that in general these problems are EXPTIME complete. In addition, we provide sharp bounds in terms of the size of two-generated free algebras on the number of terms needed to witness various Maltsev conditions, such as congruence distributivity.
منابع مشابه
Deciding some Maltsev conditions in finite idempotent algebras
In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a certain type of existential condition on its set of term operations. These conditions, known as Maltsev conditions, have played a central role in the classification, study, and applications of general algebraic structures. Several well studied properties of equationally define...
متن کاملCharacterizations of Several Maltsev Conditions
Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties omitting certain types of local behaviour. Extending a result of Siggers, we show that of these six Maltsev conditions only two of them are equivalent to strong Maltsev conditions for locally finite varieties. Besides omitting the unary type [24], the only other of these conditions that is strong i...
متن کاملOn Maltsev Digraphs
We study digraphs preserved by a Maltsev operation: Maltsev digraphs. We show that these digraphs retract either onto a directed path or to the disjoint union of directed cycles, showing in this way that the constraint satisfaction problem for Maltsev digraphs is in logspace, L. We then generalize results from Kazda (2011) to show that a Maltsev digraph is preserved not only by a majority opera...
متن کاملOn Maltsev Conditions associated with omitting certain types of local structures
Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties omitting certain subsets of types of local behaviour. Extending a result of Siggers, we show that of these six Maltsev conditions only two of them are equivalent to strong Maltsev conditions for locally finite varieties. Besides omitting the unary type [18], the only other of these conditions that ...
متن کاملMaltsev Families of Varieties Closed under Join or Maltsev Product
Maltsev families of varieties which are closed under join or Maltsev product are investigated. New Maltsev conditions for congruence semi-distributivity are given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJAC
دوره 19 شماره
صفحات -
تاریخ انتشار 2009